package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedUnsimplifiedTestsBug1 extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    com.domainlanguage.time.TimeInterval var8 = com.domainlanguage.time.TimeInterval.everFrom(var7);
	    
	    // Checks the contract:  var8.equals(var8)
	    assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8));

	  }

	  public void test2() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    com.domainlanguage.time.TimePoint var11 = var10.start();
	    com.domainlanguage.time.TimeInterval var12 = com.domainlanguage.time.TimeInterval.everPreceding(var11);
	    
	    // Checks the contract:  var12.equals(var12)
	    assertTrue("Contract failed: var12.equals(var12)", var12.equals(var12));

	  }

	  public void test3() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var20 = com.domainlanguage.time.Duration.years((int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(0);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(100);
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atGMT((int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27);
	    com.domainlanguage.time.TimeInterval var29 = var20.startingFrom(var28);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.years((int)var30);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    com.domainlanguage.time.TimeInterval var40 = var31.startingFrom(var39);
	    com.domainlanguage.time.TimePoint var41 = var40.start();
	    boolean var42 = var28.isAfter(var40);
	    java.lang.Integer var43 = new java.lang.Integer(0);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var50 = com.domainlanguage.time.TimePoint.atGMT((int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49);
	    java.lang.Double var51 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var52 = com.domainlanguage.money.Money.euros((double)var51);
	    java.lang.Short var53 = new java.lang.Short((short)(-1));
	    boolean var54 = var52.equals((java.lang.Object)var53);
	    com.domainlanguage.time.TimeInterval var55 = new com.domainlanguage.time.TimeInterval(var18, var42, var50, var54);
	    com.domainlanguage.time.TimeInterval var56 = com.domainlanguage.time.TimeInterval.over(var9, var50);
	    com.domainlanguage.time.TimePoint var57 = var56.start();
	    java.lang.String var58 = var57.toString();
	    com.domainlanguage.time.TimeInterval var59 = com.domainlanguage.time.TimeInterval.everFrom(var57);
	    
	    // Checks the contract:  var59.equals(var59)
	    assertTrue("Contract failed: var59.equals(var59)", var59.equals(var59));

	  }

	  public void test4() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.years((int)var11);
	    java.lang.Integer var13 = new java.lang.Integer(0);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(1);
	    java.lang.Integer var17 = new java.lang.Integer(100);
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    java.lang.Integer var19 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var20 = com.domainlanguage.time.TimePoint.atGMT((int)var13, (int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19);
	    com.domainlanguage.time.TimeInterval var21 = var12.startingFrom(var20);
	    com.domainlanguage.time.TimePoint var22 = var21.start();
	    boolean var23 = var9.isAfter(var21);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var25 = com.domainlanguage.time.Duration.years((int)var24);
	    java.lang.Integer var26 = new java.lang.Integer(0);
	    java.lang.Integer var27 = new java.lang.Integer(100);
	    java.lang.Integer var28 = new java.lang.Integer(1);
	    java.lang.Integer var29 = new java.lang.Integer(1);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    java.lang.Integer var31 = new java.lang.Integer((-1));
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var33 = com.domainlanguage.time.TimePoint.atGMT((int)var26, (int)var27, (int)var28, (int)var29, (int)var30, (int)var31, (int)var32);
	    com.domainlanguage.time.TimeInterval var34 = var25.startingFrom(var33);
	    com.domainlanguage.time.TimePoint var35 = var34.start();
	    com.domainlanguage.time.TimeInterval var36 = com.domainlanguage.time.TimeInterval.open(var9, var35);
	    com.domainlanguage.time.TimeInterval var37 = com.domainlanguage.time.TimeInterval.everPreceding(var9);
	    
	    // Checks the contract:  var37.equals(var37)
	    assertTrue("Contract failed: var37.equals(var37)", var37.equals(var37));

	  }

	  public void test5() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var9 = com.domainlanguage.time.Duration.years((int)var8);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var17 = com.domainlanguage.time.TimePoint.atGMT((int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16);
	    com.domainlanguage.time.TimeInterval var18 = var9.startingFrom(var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var20 = com.domainlanguage.time.Duration.years((int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(0);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(100);
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atGMT((int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27);
	    com.domainlanguage.time.TimeInterval var29 = var20.startingFrom(var28);
	    com.domainlanguage.time.TimePoint var30 = var29.start();
	    boolean var31 = var17.isAfter(var29);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    java.lang.Double var40 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var41 = com.domainlanguage.money.Money.euros((double)var40);
	    java.lang.Short var42 = new java.lang.Short((short)(-1));
	    boolean var43 = var41.equals((java.lang.Object)var42);
	    com.domainlanguage.time.TimeInterval var44 = new com.domainlanguage.time.TimeInterval(var7, var31, var39, var43);
	    java.lang.Long var45 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var46 = com.domainlanguage.time.Duration.milliseconds((long)var45);
	    java.lang.String var47 = var46.toNormalizedString();
	    java.lang.Integer var48 = new java.lang.Integer(0);
	    java.lang.Integer var49 = new java.lang.Integer(0);
	    java.lang.Integer var50 = new java.lang.Integer(100);
	    java.lang.Integer var51 = new java.lang.Integer(1);
	    java.lang.Integer var52 = new java.lang.Integer(1);
	    java.lang.Integer var53 = new java.lang.Integer(100);
	    java.lang.Integer var54 = new java.lang.Integer((-1));
	    java.lang.Integer var55 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var56 = com.domainlanguage.time.TimePoint.atGMT((int)var49, (int)var50, (int)var51, (int)var52, (int)var53, (int)var54, (int)var55);
	    java.lang.Integer var57 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var58 = com.domainlanguage.time.CalendarDate.from((int)var48, (int)var51, (int)var57);
	    com.domainlanguage.time.CalendarDate var59 = var58.lastOfMonth();
	    java.lang.Long var60 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var61 = com.domainlanguage.time.Duration.milliseconds((long)var60);
	    java.lang.String var62 = var61.toNormalizedString();
	    int var63 = var59.compareTo((java.lang.Object)var61);
	    com.domainlanguage.time.CalendarInterval var64 = var59.month();
	    com.domainlanguage.time.CalendarDate var65 = var46.addedTo(var59);
	    com.domainlanguage.time.TimeInterval var66 = com.domainlanguage.time.TimeInterval.startingFrom(var7, var46);
	    com.domainlanguage.time.TimeInterval var67 = com.domainlanguage.time.TimeInterval.everFrom(var7);
	    
	    // Checks the contract:  var67.equals(var67)
	    assertTrue("Contract failed: var67.equals(var67)", var67.equals(var67));

	  }

	 

	  public void test8() throws Throwable {

	    java.lang.Long var0 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.milliseconds((long)var0);
	    java.lang.String var2 = var1.toNormalizedString();
	    java.lang.Integer var3 = new java.lang.Integer(0);
	    java.lang.Integer var4 = new java.lang.Integer(0);
	    java.lang.Integer var5 = new java.lang.Integer(100);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(1);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    java.lang.Integer var10 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
	    java.lang.Integer var12 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var13 = com.domainlanguage.time.CalendarDate.from((int)var3, (int)var6, (int)var12);
	    com.domainlanguage.time.CalendarDate var14 = var13.lastOfMonth();
	    java.lang.Long var15 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var16 = com.domainlanguage.time.Duration.milliseconds((long)var15);
	    java.lang.String var17 = var16.toNormalizedString();
	    int var18 = var14.compareTo((java.lang.Object)var16);
	    com.domainlanguage.time.CalendarInterval var19 = var14.month();
	    com.domainlanguage.time.CalendarDate var20 = var1.addedTo(var14);
	    int var21 = var20.breachEncapsulationOf_month();
	    com.domainlanguage.time.CalendarDate var22 = var20.previousDay();
	    java.lang.Integer var23 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var24 = com.domainlanguage.time.Duration.years((int)var23);
	    java.lang.Integer var25 = new java.lang.Integer(0);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer(1);
	    java.lang.Integer var28 = new java.lang.Integer(1);
	    java.lang.Integer var29 = new java.lang.Integer(100);
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    java.lang.Integer var31 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var32 = com.domainlanguage.time.TimePoint.atGMT((int)var25, (int)var26, (int)var27, (int)var28, (int)var29, (int)var30, (int)var31);
	    com.domainlanguage.time.TimeInterval var33 = var24.startingFrom(var32);
	    java.lang.Integer var34 = new java.lang.Integer(0);
	    java.lang.Integer var35 = new java.lang.Integer(100);
	    java.lang.Integer var36 = new java.lang.Integer(1);
	    java.lang.Integer var37 = new java.lang.Integer(1);
	    java.lang.Integer var38 = new java.lang.Integer(100);
	    java.lang.Integer var39 = new java.lang.Integer((-1));
	    java.lang.Integer var40 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var41 = com.domainlanguage.time.TimePoint.atGMT((int)var34, (int)var35, (int)var36, (int)var37, (int)var38, (int)var39, (int)var40);
	    java.lang.Integer var42 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var43 = com.domainlanguage.time.Duration.years((int)var42);
	    java.lang.Integer var44 = new java.lang.Integer(0);
	    java.lang.Integer var45 = new java.lang.Integer(100);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(1);
	    java.lang.Integer var48 = new java.lang.Integer(100);
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    java.lang.Integer var50 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var51 = com.domainlanguage.time.TimePoint.atGMT((int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49, (int)var50);
	    com.domainlanguage.time.TimeInterval var52 = var43.startingFrom(var51);
	    java.lang.Integer var53 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var54 = com.domainlanguage.time.Duration.years((int)var53);
	    java.lang.Integer var55 = new java.lang.Integer(0);
	    java.lang.Integer var56 = new java.lang.Integer(100);
	    java.lang.Integer var57 = new java.lang.Integer(1);
	    java.lang.Integer var58 = new java.lang.Integer(1);
	    java.lang.Integer var59 = new java.lang.Integer(100);
	    java.lang.Integer var60 = new java.lang.Integer((-1));
	    java.lang.Integer var61 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var62 = com.domainlanguage.time.TimePoint.atGMT((int)var55, (int)var56, (int)var57, (int)var58, (int)var59, (int)var60, (int)var61);
	    com.domainlanguage.time.TimeInterval var63 = var54.startingFrom(var62);
	    com.domainlanguage.time.TimePoint var64 = var63.start();
	    boolean var65 = var51.isAfter(var63);
	    java.lang.Integer var66 = new java.lang.Integer(0);
	    java.lang.Integer var67 = new java.lang.Integer(100);
	    java.lang.Integer var68 = new java.lang.Integer(1);
	    java.lang.Integer var69 = new java.lang.Integer(1);
	    java.lang.Integer var70 = new java.lang.Integer(100);
	    java.lang.Integer var71 = new java.lang.Integer((-1));
	    java.lang.Integer var72 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var73 = com.domainlanguage.time.TimePoint.atGMT((int)var66, (int)var67, (int)var68, (int)var69, (int)var70, (int)var71, (int)var72);
	    java.lang.Double var74 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var75 = com.domainlanguage.money.Money.euros((double)var74);
	    java.lang.Short var76 = new java.lang.Short((short)(-1));
	    boolean var77 = var75.equals((java.lang.Object)var76);
	    com.domainlanguage.time.TimeInterval var78 = new com.domainlanguage.time.TimeInterval(var41, var65, var73, var77);
	    com.domainlanguage.time.TimeInterval var79 = com.domainlanguage.time.TimeInterval.over(var32, var73);
	    boolean var80 = var20.equals((java.lang.Object)var79);
	    com.domainlanguage.time.TimePoint var81 = var79.start();
	    com.domainlanguage.time.TimeInterval var82 = com.domainlanguage.time.TimeInterval.everPreceding(var81);
	    
	    // Checks the contract:  var82.equals(var82)
	    assertTrue("Contract failed: var82.equals(var82)", var82.equals(var82));

	  }

	  public void test9() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var20 = com.domainlanguage.time.Duration.years((int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(0);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(100);
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atGMT((int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27);
	    com.domainlanguage.time.TimeInterval var29 = var20.startingFrom(var28);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.years((int)var30);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    com.domainlanguage.time.TimeInterval var40 = var31.startingFrom(var39);
	    com.domainlanguage.time.TimePoint var41 = var40.start();
	    boolean var42 = var28.isAfter(var40);
	    java.lang.Integer var43 = new java.lang.Integer(0);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var50 = com.domainlanguage.time.TimePoint.atGMT((int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49);
	    java.lang.Double var51 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var52 = com.domainlanguage.money.Money.euros((double)var51);
	    java.lang.Short var53 = new java.lang.Short((short)(-1));
	    boolean var54 = var52.equals((java.lang.Object)var53);
	    com.domainlanguage.time.TimeInterval var55 = new com.domainlanguage.time.TimeInterval(var18, var42, var50, var54);
	    com.domainlanguage.time.TimeInterval var56 = com.domainlanguage.time.TimeInterval.over(var9, var50);
	    java.lang.Byte var57 = new java.lang.Byte((byte)100);
	    boolean var58 = var50.equals((java.lang.Object)var57);
	    java.lang.Integer var59 = new java.lang.Integer(0);
	    java.lang.Integer var60 = new java.lang.Integer(100);
	    java.lang.Integer var61 = new java.lang.Integer(1);
	    java.lang.Integer var62 = new java.lang.Integer(1);
	    java.lang.Integer var63 = new java.lang.Integer(100);
	    java.lang.Integer var64 = new java.lang.Integer((-1));
	    java.lang.Integer var65 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var66 = com.domainlanguage.time.TimePoint.atGMT((int)var59, (int)var60, (int)var61, (int)var62, (int)var63, (int)var64, (int)var65);
	    com.domainlanguage.time.Duration var67 = com.domainlanguage.time.Duration.days((int)var59);
	    com.domainlanguage.time.TimePoint var68 = var50.plus(var67);
	    com.domainlanguage.time.TimeInterval var69 = com.domainlanguage.time.TimeInterval.everPreceding(var50);
	    
	    // Checks the contract:  var69.equals(var69)
	    assertTrue("Contract failed: var69.equals(var69)", var69.equals(var69));

	  }

	  public void test10() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.years((int)var2);
	    java.lang.Integer var4 = new java.lang.Integer(0);
	    java.lang.Integer var5 = new java.lang.Integer(0);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer(1);
	    java.lang.Integer var8 = new java.lang.Integer(1);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    java.lang.Integer var10 = new java.lang.Integer((-1));
	    java.lang.Integer var11 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var12 = com.domainlanguage.time.TimePoint.atGMT((int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10, (int)var11);
	    java.lang.Integer var13 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var14 = com.domainlanguage.time.CalendarDate.from((int)var4, (int)var7, (int)var13);
	    com.domainlanguage.time.TimePoint var15 = com.domainlanguage.time.TimePoint.atMidnightGMT((int)var0, (int)var2, (int)var7);
	    com.domainlanguage.time.TimeInterval var16 = com.domainlanguage.time.TimeInterval.everPreceding(var15);
	    
	    // Checks the contract:  var16.equals(var16)
	    assertTrue("Contract failed: var16.equals(var16)", var16.equals(var16));

	  }

	  

	 

	  public void test13() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var20 = com.domainlanguage.time.Duration.years((int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(0);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(100);
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atGMT((int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27);
	    com.domainlanguage.time.TimeInterval var29 = var20.startingFrom(var28);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.years((int)var30);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    com.domainlanguage.time.TimeInterval var40 = var31.startingFrom(var39);
	    com.domainlanguage.time.TimePoint var41 = var40.start();
	    boolean var42 = var28.isAfter(var40);
	    java.lang.Integer var43 = new java.lang.Integer(0);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var50 = com.domainlanguage.time.TimePoint.atGMT((int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49);
	    java.lang.Double var51 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var52 = com.domainlanguage.money.Money.euros((double)var51);
	    java.lang.Short var53 = new java.lang.Short((short)(-1));
	    boolean var54 = var52.equals((java.lang.Object)var53);
	    com.domainlanguage.time.TimeInterval var55 = new com.domainlanguage.time.TimeInterval(var18, var42, var50, var54);
	    com.domainlanguage.time.TimeInterval var56 = com.domainlanguage.time.TimeInterval.over(var9, var50);
	    com.domainlanguage.time.TimePoint var57 = var56.start();
	    java.lang.String var58 = var57.toString();
	    com.domainlanguage.time.TimeInterval var59 = com.domainlanguage.time.TimeInterval.everPreceding(var57);
	    
	    // Checks the contract:  var59.equals(var59)
	    assertTrue("Contract failed: var59.equals(var59)", var59.equals(var59));

	  }

	  public void test14() throws Throwable {

	    java.lang.Boolean var0 = new java.lang.Boolean(true);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.years((int)var1);
	    java.lang.Integer var3 = new java.lang.Integer(0);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(100);
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var10 = com.domainlanguage.time.TimePoint.atGMT((int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9);
	    com.domainlanguage.time.TimeInterval var11 = var2.startingFrom(var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(100);
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var19 = com.domainlanguage.time.TimePoint.atGMT((int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17, (int)var18);
	    java.lang.Integer var20 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var21 = com.domainlanguage.time.Duration.years((int)var20);
	    java.lang.Integer var22 = new java.lang.Integer(0);
	    java.lang.Integer var23 = new java.lang.Integer(100);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(1);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var29 = com.domainlanguage.time.TimePoint.atGMT((int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27, (int)var28);
	    com.domainlanguage.time.TimeInterval var30 = var21.startingFrom(var29);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var32 = com.domainlanguage.time.Duration.years((int)var31);
	    java.lang.Integer var33 = new java.lang.Integer(0);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(1);
	    java.lang.Integer var37 = new java.lang.Integer(100);
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    java.lang.Integer var39 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var40 = com.domainlanguage.time.TimePoint.atGMT((int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38, (int)var39);
	    com.domainlanguage.time.TimeInterval var41 = var32.startingFrom(var40);
	    com.domainlanguage.time.TimePoint var42 = var41.start();
	    boolean var43 = var29.isAfter(var41);
	    java.lang.Integer var44 = new java.lang.Integer(0);
	    java.lang.Integer var45 = new java.lang.Integer(100);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(1);
	    java.lang.Integer var48 = new java.lang.Integer(100);
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    java.lang.Integer var50 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var51 = com.domainlanguage.time.TimePoint.atGMT((int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49, (int)var50);
	    java.lang.Double var52 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var53 = com.domainlanguage.money.Money.euros((double)var52);
	    java.lang.Short var54 = new java.lang.Short((short)(-1));
	    boolean var55 = var53.equals((java.lang.Object)var54);
	    com.domainlanguage.time.TimeInterval var56 = new com.domainlanguage.time.TimeInterval(var19, var43, var51, var55);
	    com.domainlanguage.time.TimeInterval var57 = com.domainlanguage.time.TimeInterval.over(var10, var51);
	    com.domainlanguage.intervals.Interval var58 = com.domainlanguage.intervals.Interval.open((java.lang.Comparable)var0, (java.lang.Comparable)var57);
	    com.domainlanguage.time.TimePoint var59 = var57.end();
	    java.util.Calendar var60 = var59.asJavaCalendar();
	    com.domainlanguage.time.TimePoint var61 = com.domainlanguage.time.TimePoint.from(var60);
	    com.domainlanguage.time.TimePoint var62 = var61.nextDay();
	    com.domainlanguage.time.TimeInterval var63 = com.domainlanguage.time.TimeInterval.everPreceding(var61);
	    
	    // Checks the contract:  var63.equals(var63)
	    assertTrue("Contract failed: var63.equals(var63)", var63.equals(var63));

	  }

	  public void test15() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var20 = com.domainlanguage.time.Duration.years((int)var19);
	    java.lang.Integer var21 = new java.lang.Integer(0);
	    java.lang.Integer var22 = new java.lang.Integer(100);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(100);
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    java.lang.Integer var27 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var28 = com.domainlanguage.time.TimePoint.atGMT((int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26, (int)var27);
	    com.domainlanguage.time.TimeInterval var29 = var20.startingFrom(var28);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.years((int)var30);
	    java.lang.Integer var32 = new java.lang.Integer(0);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
	    com.domainlanguage.time.TimeInterval var40 = var31.startingFrom(var39);
	    com.domainlanguage.time.TimePoint var41 = var40.start();
	    boolean var42 = var28.isAfter(var40);
	    java.lang.Integer var43 = new java.lang.Integer(0);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var50 = com.domainlanguage.time.TimePoint.atGMT((int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49);
	    java.lang.Double var51 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var52 = com.domainlanguage.money.Money.euros((double)var51);
	    java.lang.Short var53 = new java.lang.Short((short)(-1));
	    boolean var54 = var52.equals((java.lang.Object)var53);
	    com.domainlanguage.time.TimeInterval var55 = new com.domainlanguage.time.TimeInterval(var18, var42, var50, var54);
	    com.domainlanguage.time.TimeInterval var56 = com.domainlanguage.time.TimeInterval.over(var9, var50);
	    com.domainlanguage.time.TimePoint var57 = var56.start();
	    java.lang.Double var58 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var59 = com.domainlanguage.money.Money.euros((double)var58);
	    java.lang.Integer var60 = new java.lang.Integer(0);
	    java.lang.Integer var61 = new java.lang.Integer(100);
	    java.lang.Integer var62 = new java.lang.Integer(1);
	    java.lang.Integer var63 = new java.lang.Integer(1);
	    java.lang.Integer var64 = new java.lang.Integer(100);
	    java.lang.Integer var65 = new java.lang.Integer((-1));
	    java.lang.Integer var66 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var67 = com.domainlanguage.time.TimePoint.atGMT((int)var60, (int)var61, (int)var62, (int)var63, (int)var64, (int)var65, (int)var66);
	    com.domainlanguage.money.Money var68 = var59.times((int)var66);
	    java.lang.Double var69 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var70 = com.domainlanguage.money.Money.euros((double)var69);
	    java.lang.Integer var71 = new java.lang.Integer(0);
	    java.lang.Integer var72 = new java.lang.Integer(100);
	    java.lang.Integer var73 = new java.lang.Integer(1);
	    java.lang.Integer var74 = new java.lang.Integer(1);
	    java.lang.Integer var75 = new java.lang.Integer(100);
	    java.lang.Integer var76 = new java.lang.Integer((-1));
	    java.lang.Integer var77 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var78 = com.domainlanguage.time.TimePoint.atGMT((int)var71, (int)var72, (int)var73, (int)var74, (int)var75, (int)var76, (int)var77);
	    com.domainlanguage.money.Money var79 = var70.times((int)var77);
	    boolean var80 = var68.isLessThan(var70);
	    java.lang.Integer var81 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var82 = var70.times((int)var81);
	    java.math.BigDecimal var83 = var82.breachEncapsulationOfAmount();
	    com.domainlanguage.money.Money var84 = com.domainlanguage.money.Money.dollars(var83);
	    java.lang.Integer var85 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var86 = com.domainlanguage.time.Duration.hours((int)var85);
	    com.domainlanguage.time.TimeRate var87 = new com.domainlanguage.time.TimeRate(var83, var86);
	    com.domainlanguage.time.TimePoint var88 = var57.plus(var86);
	    com.domainlanguage.time.TimeInterval var89 = com.domainlanguage.time.TimeInterval.everFrom(var57);
	    
	    // Checks the contract:  var89.equals(var89)
	    assertTrue("Contract failed: var89.equals(var89)", var89.equals(var89));

	  }

	  public void test16() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    java.lang.Integer var8 = new java.lang.Integer(0);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    java.lang.Integer var10 = new java.lang.Integer(100);
	    java.lang.Integer var11 = new java.lang.Integer(1);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer((-1));
	    java.lang.Integer var15 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var16 = com.domainlanguage.time.TimePoint.atGMT((int)var9, (int)var10, (int)var11, (int)var12, (int)var13, (int)var14, (int)var15);
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.CalendarDate var18 = com.domainlanguage.time.CalendarDate.from((int)var8, (int)var11, (int)var17);
	    com.domainlanguage.time.CalendarDate var19 = var18.lastOfMonth();
	    java.lang.Long var20 = new java.lang.Long(1L);
	    com.domainlanguage.time.Duration var21 = com.domainlanguage.time.Duration.milliseconds((long)var20);
	    java.lang.String var22 = var21.toNormalizedString();
	    int var23 = var19.compareTo((java.lang.Object)var21);
	    com.domainlanguage.time.CalendarDate var24 = var19.firstOfMonth();
	    int var25 = var24.breachEncapsulationOf_year();
	    com.domainlanguage.time.Duration var26 = com.domainlanguage.time.Duration.weeks((int)var25);
	    java.lang.String var27 = var26.toNormalizedString();
	    com.domainlanguage.time.TimeInterval var28 = com.domainlanguage.time.TimeInterval.preceding(var7, var26);
	    com.domainlanguage.time.TimeInterval var29 = com.domainlanguage.time.TimeInterval.everPreceding(var7);
	    
	    // Checks the contract:  var29.equals(var29)
	    assertTrue("Contract failed: var29.equals(var29)", var29.equals(var29));

	  }

	 

	  public void test20() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    java.lang.Integer var3 = new java.lang.Integer(1);
	    java.lang.Integer var4 = new java.lang.Integer(100);
	    java.lang.Integer var5 = new java.lang.Integer((-1));
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var7 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var1, (int)var2, (int)var3, (int)var4, (int)var5, (int)var6);
	    java.lang.Boolean var8 = new java.lang.Boolean(true);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var10 = com.domainlanguage.time.Duration.years((int)var9);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.lang.Integer var12 = new java.lang.Integer(100);
	    java.lang.Integer var13 = new java.lang.Integer(1);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer((-1));
	    java.lang.Integer var17 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var18 = com.domainlanguage.time.TimePoint.atGMT((int)var11, (int)var12, (int)var13, (int)var14, (int)var15, (int)var16, (int)var17);
	    com.domainlanguage.time.TimeInterval var19 = var10.startingFrom(var18);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Integer var26 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var27 = com.domainlanguage.time.TimePoint.atGMT((int)var20, (int)var21, (int)var22, (int)var23, (int)var24, (int)var25, (int)var26);
	    java.lang.Integer var28 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var29 = com.domainlanguage.time.Duration.years((int)var28);
	    java.lang.Integer var30 = new java.lang.Integer(0);
	    java.lang.Integer var31 = new java.lang.Integer(100);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var37 = com.domainlanguage.time.TimePoint.atGMT((int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36);
	    com.domainlanguage.time.TimeInterval var38 = var29.startingFrom(var37);
	    java.lang.Integer var39 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var40 = com.domainlanguage.time.Duration.years((int)var39);
	    java.lang.Integer var41 = new java.lang.Integer(0);
	    java.lang.Integer var42 = new java.lang.Integer(100);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(1);
	    java.lang.Integer var45 = new java.lang.Integer(100);
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    java.lang.Integer var47 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var48 = com.domainlanguage.time.TimePoint.atGMT((int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47);
	    com.domainlanguage.time.TimeInterval var49 = var40.startingFrom(var48);
	    com.domainlanguage.time.TimePoint var50 = var49.start();
	    boolean var51 = var37.isAfter(var49);
	    java.lang.Integer var52 = new java.lang.Integer(0);
	    java.lang.Integer var53 = new java.lang.Integer(100);
	    java.lang.Integer var54 = new java.lang.Integer(1);
	    java.lang.Integer var55 = new java.lang.Integer(1);
	    java.lang.Integer var56 = new java.lang.Integer(100);
	    java.lang.Integer var57 = new java.lang.Integer((-1));
	    java.lang.Integer var58 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var59 = com.domainlanguage.time.TimePoint.atGMT((int)var52, (int)var53, (int)var54, (int)var55, (int)var56, (int)var57, (int)var58);
	    java.lang.Double var60 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var61 = com.domainlanguage.money.Money.euros((double)var60);
	    java.lang.Short var62 = new java.lang.Short((short)(-1));
	    boolean var63 = var61.equals((java.lang.Object)var62);
	    com.domainlanguage.time.TimeInterval var64 = new com.domainlanguage.time.TimeInterval(var27, var51, var59, var63);
	    com.domainlanguage.time.TimeInterval var65 = com.domainlanguage.time.TimeInterval.over(var18, var59);
	    com.domainlanguage.intervals.Interval var66 = com.domainlanguage.intervals.Interval.open((java.lang.Comparable)var8, (java.lang.Comparable)var65);
	    com.domainlanguage.time.TimePoint var67 = var65.end();
	    com.domainlanguage.time.TimeInterval var68 = var7.until(var67);
	    com.domainlanguage.time.TimeInterval var69 = com.domainlanguage.time.TimeInterval.everPreceding(var67);
	    
	    // Checks the contract:  var69.equals(var69)
	    assertTrue("Contract failed: var69.equals(var69)", var69.equals(var69));

	  }

	 

	  public void test22() throws Throwable {

	    java.lang.Long var0 = new java.lang.Long(1L);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.from((long)var0);
	    com.domainlanguage.time.TimePoint var2 = com.domainlanguage.time.TimePoint.from((long)var0);
	    com.domainlanguage.time.TimeInterval var3 = com.domainlanguage.time.TimeInterval.everPreceding(var2);
	    
	    // Checks the contract:  var3.equals(var3)
	    assertTrue("Contract failed: var3.equals(var3)", var3.equals(var3));

	  }

	  public void test23() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.years((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var9 = com.domainlanguage.time.TimePoint.atGMT((int)var2, (int)var3, (int)var4, (int)var5, (int)var6, (int)var7, (int)var8);
	    com.domainlanguage.time.TimeInterval var10 = var1.startingFrom(var9);
	    java.lang.Integer var11 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.years((int)var11);
	    java.lang.Integer var13 = new java.lang.Integer(0);
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(1);
	    java.lang.Integer var17 = new java.lang.Integer(100);
	    java.lang.Integer var18 = new java.lang.Integer((-1));
	    java.lang.Integer var19 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var20 = com.domainlanguage.time.TimePoint.atGMT((int)var13, (int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19);
	    com.domainlanguage.time.TimeInterval var21 = var12.startingFrom(var20);
	    com.domainlanguage.time.TimePoint var22 = var21.start();
	    boolean var23 = var9.isAfter(var21);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var25 = com.domainlanguage.time.Duration.years((int)var24);
	    java.lang.Integer var26 = new java.lang.Integer(0);
	    java.lang.Integer var27 = new java.lang.Integer(100);
	    java.lang.Integer var28 = new java.lang.Integer(1);
	    java.lang.Integer var29 = new java.lang.Integer(1);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    java.lang.Integer var31 = new java.lang.Integer((-1));
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var33 = com.domainlanguage.time.TimePoint.atGMT((int)var26, (int)var27, (int)var28, (int)var29, (int)var30, (int)var31, (int)var32);
	    com.domainlanguage.time.TimeInterval var34 = var25.startingFrom(var33);
	    com.domainlanguage.time.TimePoint var35 = var34.start();
	    com.domainlanguage.time.TimeInterval var36 = com.domainlanguage.time.TimeInterval.open(var9, var35);
	    java.util.Date var37 = var9.asJavaUtilDate();
	    com.domainlanguage.time.TimeInterval var38 = com.domainlanguage.time.TimeInterval.everPreceding(var9);
	    
	    // Checks the contract:  var38.equals(var38)
	    assertTrue("Contract failed: var38.equals(var38)", var38.equals(var38));

	  }
}
